Relativization: a Revisionistic Retrospective
نویسندگان
چکیده
For almost two decades, contradictory relativization has been a central theme in complexity theory. This concept was first introduced by Baker, Gill and Solovay [BGS75] in their ground breaking paper where they exhibited oracles A and B such that P = NP and P 6= NP. This result was startling because almost all results in recursion theory remain true in the presence of oracles and most techniques used in complexity theory had been resource bounded versions of those used in recursion theory. Baker, Gill and Solovay offered the following explanation of their results [BGS75]:
منابع مشابه
Research Reports on Mathematical and Computing Sciences Department of Mathematical and Computing Sciences Tokyo Institute of Technology
A new notion of relativization—stringent relativization—has been proposed recently [CW06] for discussing collapsing relations of complexity classes, with which we hope to open a new approach for studying complexity classes. Starting with the motivation of this notion, we discuss the meaning and implication of collapsing relations under the stringent relativization.
متن کاملRelativisation makes contradictions harder for Resolution
We provide a number of simplified and improved separations between pairs of Resolution-with-bounded-conjunction refutation systems, Res(d), as well as their tree-like versions, Res∗(d). The contradictions we use are natural combinatorial principles: the Least number principle, LNPn and an ordered variant thereof, the Induction principle, IPn. LNPn is known to be easy for Resolution. We prove th...
متن کاملUniform Kurtz randomness
We propose studying uniform Kurtz randomness, which is the uniform relativization of Kurtz randomness. This notion has more natural properties than the usual relativization. For instance, van Lambalgen’s theorem holds for uniform Kurtz randomness while not for (the usual relativization of) Kurtz randomness. Another advantage is that lowness for uniform Kurtz randomness has many characterization...
متن کاملRelativized Relation Algebras
In this paper we introduce a finitely axiomatizable equational class of relation type algebras which we call REL. This class includes all relation algebras and is closed under relativization to an arbitrary element. Thus REL contains every relativization of ReU , where ReU is the relation algebra of all binary relations on the set U . The main theorem is the REL Representation Theorem 5.4, in w...
متن کاملRelativization in Sasak and Sumbawa, Eastern Indonesia
On the basis of a detailed study of the relativization phenomena in the dialects of Sasak and Sumbawa in eastern Indonesia, this paper shows that the two crucial assumptions made by Keenan & Comrie on Western Malayo-Polynesian languages are untenable. That is, the Topic in these languages cannot be reinterpreted as Subject and that Austronesian non-Actor focus constructions cannot be considered...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Bulletin of the EATCS
دوره 47 شماره
صفحات -
تاریخ انتشار 1992